Axiom A - PDFSEARCH.IO - Document Search Engine

Axiom A
Results: 172

#	Item
41	--------------------------------------FOR IMMEDIATE RELEASE --------------------------------------- 2015 AXIOM BUSINESS BOOK AWARD WINNERS ANNOUNCED Medalists Explore Business Innovation and Achieving Work-Life Balance ( Add to Reading List Source URL: highconflictinstitute.com Language: English - Date: 2015-03-26 16:58:10 Fiction Science fiction Traction: Get A Grip On Your Business Film Axiom WALL-E
42	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-18 12:19:38 Operations research Linear algebra Axiom Algorithm Function Euclidean geometry Logic programming Mathematical optimization Vector space Mathematics Algebra Mathematical logic
43	Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification – Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2015-04-04 17:54:15 Formal systems Metalogic Formal methods Function Axiom Lisp Mathematical proof Axiomatic system Mathematics Logic Mathematical logic
44	Review Evaluating whether nature’s intrinsic value is an axiom of or anathema to conservation John A. Vucetich,∗ Jeremy T. Bruskotter,† and Michael Paul Nelson‡ ∗ Add to Reading List Source URL: www.michaelpnelson.com Language: English - Date: 2015-02-21 09:05:12 Applied ethics Animal rights Green politics Animal welfare Intrinsic value Environmental ethics Ecocentrism Instrumental value Anthropocentrism Philosophy Value Ethics
45	Manfred Max-‐Neef A new economic and development paradigm should be based on five postulates and one fundamental value princ Add to Reading List Source URL: www.newdevelopmentparadigm.bt Language: English - Date: 2013-09-19 04:13:28 Axiom Economic model
46	Mathematical Social Sciences–209 Choice problems with a ‘reference’ point Ariel Rubinstein a , Lin Zhou b , * a b Add to Reading List Source URL: arielrubinstein.tau.ac.il Language: English - Date: 2005-03-24 12:19:22 Operator theory Econometrics Independence of irrelevant alternatives Social choice theory Voting system criteria Axiom Function Bargaining problem Vector space Algebra Mathematics Linear algebra
47	Child labor in agricultural households in Burkina Faso, Ivory Coast and Mali: test of the luxury axiom by a fuzzy sets theory approach Kodzovi S. ABALO Statistician Economist Consultant, Lomé, Togo, kodzovi.s.abalo@outl Add to Reading List Source URL: www.statistics.gov.hk Language: English - Date: 2013-08-22 04:39:11 Republics Africa Political geography Earth Burkina Faso Economic Community of West African States French West Africa
48	Knowledge and Communication: A First-Order Theory Ernest Davis 1 Courant Institute, New York University, New York, NYUSA Abstract Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:23:32 Model theory Deduction Entailment Logical consequence Metalogic First-order logic Common knowledge Function Axiom Logic Mathematics Philosophical logic
49	Test and Evaluation: Robot Forward Kinematics Timothy Daly∗and Rick Linger† February 23, 2010 Abstract In order to investigate the use of an embedded processor in practical terms we built a robot driven by a micropro Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2010-03-15 18:37:20 Mechanics Robotics Rigid bodies Denavit–Hartenberg parameters Robot control Kinematics Forward kinematics Degrees of freedom Robot Physics Robot kinematics Mechanical engineering
50	Concordia: A Google for Malware Timothy Daly Luanne Burns Software Engineering Institute Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2010-04-19 21:50:10 Malware MapReduce Machine learning Machine code Perceptron On Intelligence Computer Parallel computing Mathematics Computing Neural networks Artificial intelligence